|
|
The design of design : , essays from a computer scientist /
by Brooks, Frederick P.
Publication:
Upper Saddle River, NJ : Addison-Wesley, 2010
. xv, 421 p. :
24 cm.
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Information systems development : , Asian experiences /
Publication:
New York : Springer, 2010
. xxix, 576 p. :
25 cm.
Date:2010
Availability:
Copies available:
AUM Main Library
(2),
|
|
|
Requirements engineering for software and systems /
by Laplante, Phillip A.
Publication:
Boca Raton, FL : CRC Press, 2009
. xxi, 241 p. :
25 cm.
Date:2009
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Architecting critical systems : , First International Symposium, Isarcs 2010, Prague, Czech Republic, June 23-25, 2010, proceedings /
Publication:
Berlin : Springer, 2010
. x, 192 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer performance engineering : , 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010, proceeding /
Publication:
Berlin : Springer, 2010
. x, 283 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Metamodelling for software engineering /
by Gonzalez Perez, Cesar A.
Publication:
Chichester, England : Wiley, 2008
. ix, 210 p. :
25 cm.
Date:2008
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Physical Layer Multi-Core Prototyping
by Pelcat, Maxime.
Publication:
. XV, 209 p. 111 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Distributed, Embedded and Real-time Java Systems
by Higuera-Toledano, M. Teresa.
Publication:
. X, 378p. 135 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
A Practical Introduction to Hardware/Software Codesign
by Schaumont, Patrick R.
Publication:
. XVIII, 396p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
SystemC: From the Ground Up
by Black, David C.
Publication:
. XXIII, 338p. 295 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
User-Level Workflow Design
by Lamprecht, Anna-Lena.
Publication:
. XXII, 223 p. 84 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Practical Aspects of Declarative Languages
by Sagonas, Kostis.
Publication:
. XIV, 261 p. 82 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic for Programming, Artificial Intelligence, and Reasoning
by McMillan, Ken.
Publication:
. XIV, 794 p. 178 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Conceptual Modeling
by Ng, Wilfred.
Publication:
. XXVIII, 514 p. 165 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Testing Software and Systems
by Yenigün, Hüsnü.
Publication:
. XIV, 291 p. 84 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Implementation and Application of Functional Languages
by Hinze, Ralf.
Publication:
. X, 241 p. 72 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Constraint Solving and Language Processing
by Duchier, Denys.
Publication:
. XII, 179 p. 30 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Model-Driven Engineering Languages and Systems
by Moreira, Ana.
Publication:
. XXVIII, 792 p. 299 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Reachability Problems
by Abdulla, Parosh Aziz.
Publication:
. XII, 223 p. 60 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Methods for Industrial Critical Systems
by Pecheur, Charles.
Publication:
. XIV, 199 p. 46 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|